IDE and code editors for PHP development